141. Programming Logic and Design, Comprehensive
Author: / Joyce Farrell
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
142. Programming Logic and Design, Comprehensive, 7th Edition
Author: / Joyce Farrell
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
143. Programming and Mathematical Method :
Author: edited by Manfred Broy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1992
144. Programming languages and systems :
Author: Hongseok Yang (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses,Software engineering, Congresses
Classification :
QA76
.
7
.
A65
2011
145. Programming languages and systems :
Author: Sukyoung Ryu (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.
Classification :
QA76
.
7
146. Quantitative assessments of distributed systems :
Author: edited by Dario Bruneo and Salvatore Distefano
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems-- Evaluation-- Mathematics,Electronic data processing-- Distributed processing-- Mathematical models.,Quantitative research.,System analysis-- Mathematics.
Classification :
QA76
.
9
.
E94
147. RIMS Symposia on Software Science and Engineering II :
Author: edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
6
E358
1986
148. Relations and Graphs :
Author: by Gunther Schmidt, Thomas Ströhlein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
9
.
M35
B948
1993
149. Research and development in intelligent systems XIX :
Author: Max Bramer, Alun Preece, and Frans Coenen (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Inteligencia artificial -- Congresos.,Sistemas expertos (Informática) -- Congresos.,Sistemas expertos (Informática) -- Congresos.
Classification :
QA76
.
76
.
E95
M393
2003
150. Research and education in robotics-EUROBOT 2008 :
Author: Achim Gottscheber, Stefan Enderle, David Obdrzalek (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Machine theory, Congresses.,Robotics, Congresses.,Robots, Congresses.,Informatique.,Machine theory.,Robotics.,Robots.,TECHNOLOGY & ENGINEERING-- Robotics.
Classification :
TJ210
.
3
.
E976
2009eb
151. Reversible computation :
Author: Michael Kirkedal Thomsen, Mathias Soeken (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Reversible computing, Congresses.,Computer logic.,Computer science-- Mathematics.,Reversible computing.
Classification :
QA76
.
9
.
R48
152. Reversible computation :
Author: Robert Glück, Tetsuo Yokoyama (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
Classification :
QA76
.
9
.
L63
R634
2013
153. 30, 2010. Revised Papers-Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27
Author: / Michael Kifer (auth.), Paolo Frasconi, Francesca A. Lisi (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
154. 17, 2009, Revised Selected Papers-Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15
Author: / Sullivan (eds.)بStefano Bistarelli, Daniele Pirolandi, Francesco Santini (auth.), Javier Larrosa, Barry O
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
155. Rigorous software engineering for service-oriented systems :
Author: Martin Wirsing, Matthias Hölzl (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: SENSORIA Project,Service-oriented architecture (Computer science),Web services
Classification :
TK5105
.
5828
.
R54
2011
156. Runtime Verification
Author: edited by Sarfraz Khurshid, Koushik Sen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
157. Runtime verification :
Author: Christian Colombo, Martin Leucker (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
158. SOFSEM '95:
Author: edited by Miroslav Bartosek, Jan Staudek, Jirí Wiedermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.,Software engineering.
159. STACS 87 :
Author: edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer science.,Computers.
160. Software Composition
Author: edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
